#!/bin/bash

RUN_EXPERIMENT=./run_experiment_minisat.sh
REPETITIONS=10

#FILES="*.cnf"
FILES="hole7.cnf"

for rep in $(seq 1 $REPETITIONS)
do
	for file in $FILES
	do
		$RUN_EXPERIMENT $file
	done
done
